TAGs: Adding mixed numbers